$\forall$$T$:Type, $x$:$T$. SqStable(AtomFree($T$;$x$))